/*
 * Copyright (C) 2008-2009  YATR.Main@gmail.com
 *
 * You may distribute under the GPL-2 License , as specified in 
 * the README.txt file.
 *
 * For more information about YATR, or for information on how to 
 * contact the author, see the README.txt file.
 */
package m;

import org.etsi.ttcn.tci.*;
import org.etsi.ttcn.tri.*;
import org.yatr.tci.*;
import static org.yatr.comm.Comm.*;



/* 1: Module define for "m1_" */
class m1_ extends BaseModule{
    /*
     * We provided a main() function for each module (test only purpose)
     */
    public static void main(String[] args){
        m1_ test = new m1_();
        test.control();
    }
    
    //////////////// type define implements ///////////////////
    
    //////////////// Runnable interface implements/////////////

    ////////////////other module definitions///////////////////

    /* 3: const integer i1_:=5 */
    public final IntegerValueYatr i1_ = new IntegerValueYatr(new IntegerValueYatr(5));

    /* 4: const integer i2_:=6 */
    public final IntegerValueYatr i2_ = new IntegerValueYatr(new IntegerValueYatr(6));

    /* 6: Function define in module "m1_" */
    public void f0_ ( BooleanValueYatr b_) { //BooleanValueYatr

        /* 7: var integer i_:=3 */
        IntegerValueYatr i_ = new IntegerValueYatr(new IntegerValueYatr(3));

        /* 8: var integer j_ */
        IntegerValueYatr j_ = new IntegerValueYatr();

        /* 9: j_:=i_+55+66+i2_ */
        j_.assign(i_.addOp(new IntegerValueYatr(55)).addOp(new IntegerValueYatr(66)).addOp(i2_));

        /* 10: return */
        return ;

    };

    /* 13: Function define in module "m1_" */
    public IntegerValueYatr f1_ ( ) { //

        /* 15: var integer i_:=3 */
        IntegerValueYatr i_ = new IntegerValueYatr(new IntegerValueYatr(3));

        /* 16: const integer i4_:=5 */
        final IntegerValueYatr i4_ = new IntegerValueYatr(new IntegerValueYatr(5));

        /* 17: var integer i5_ := i4_+i_+f2_() */
        IntegerValueYatr i5_ = new IntegerValueYatr(i4_.addOp(i_).addOp(f2_()/*17:f2_()*/));

        /* 22: return f2_() */
        return new IntegerValueYatr(f2_()/*22:f2_()*/);

    };

    /* 25: Function define in module "m1_" */
    public IntegerValueYatr f2_ ( ) { //

        /* 27: var integer i3_:=7 */
        IntegerValueYatr i3_ = new IntegerValueYatr(new IntegerValueYatr(7));

        /* 28: const integer i4_:=6 */
        final IntegerValueYatr i4_ = new IntegerValueYatr(new IntegerValueYatr(6));

        /* 29: var integer i5_ := i4_+i3_+f1_() */
        IntegerValueYatr i5_ = new IntegerValueYatr(i4_.addOp(i3_).addOp(f1_()/*29:f1_()*/));

        /* 30: i3_ := 2+i4_ */
        i3_.assign(new IntegerValueYatr(2).addOp(i4_));

        /* 31: return i3_ */
        return new IntegerValueYatr(i3_);

    };

    /* 34: const charstring s_:= "aaaa" */
    public final CharstringValueYatr s_ = new CharstringValueYatr(new CharstringValueYatr("aaaa"));

    /* 36: const boolean b1_ := (i2_==i1_) */
    public final BooleanValueYatr b1_ = new BooleanValueYatr(i2_.equalsOp(i1_));

}
